program validation造句

One of the products IBM released to help developers was " Program Validation Services " ( PVS ).
A distinguishing feature of the former Praxis office's is its extensive use of formal methods such as the Z notation and the SPARK toolset ( acquired through the takeover of the developers Program Validation Limited in 1994 ) in its approach to improving the reliability of software engineering.
It's difficult to find program validation in a sentence. 用program validation造句挺难的